highorder predicate logic
n.高阶谓词逻辑
热门查询
- bleu n. (Bleu)人名；(法)布勒 adj. 有蓝色霉菌花纹的
- fucking adj. 他妈的；难完成的；非常的；低劣的 v. 欺骗；利用；诅咒（fuck的ing形式）
- rise n. 上升；高地；增加；出现 vt. 使…飞起；使…浮上水面 vi. 上升；增强；起立；高耸
- British n. 英国人 adj. 英国的；英国人的；大不列颠的
- crunch n. 咬碎，咬碎声；扎扎地踏 vt. 压碎；嘎扎嘎扎的咬嚼；扎扎地踏过 vi. 嘎吱作响地咀嚼；嘎吱嘎吱地踏过
- whitney n. 惠特尼（女子名）；惠特尼山（位于美国加利福尼亚州东部）
- littleton 利特尔顿（姓氏）
- psychoeducational adj. 心理学方法教育的（在评价学习能力等方面采用智力测验等）
- marginalization n. 边缘化；忽视；排斥
- combining v. 结合（combine的ing形式） adj. 化合的，结合性的
- isolating v. 使隔离；使绝缘（isolate的ing形式） adj. 孤立的；绝缘的
- downslide n. 工商业下降；行市下跌
- evil n. 罪恶，邪恶；不幸 adj. 邪恶的；不幸的；有害的；讨厌的
- peepshow n. 西洋镜
- Childline n. 儿童教养热线(一种有关儿童教养的电话咨询服务项目)
- lineaments n. 轮廓（lineament的复数形式） v. 使有轮廓（lineament的第三人称单数）
- air raid n. 空袭 [网络] 空中奇袭；防空演习；空袭的
- sift vt. 筛选；撒；过滤；详查 vi. 筛；详查；撒下；细究 n. (Sift)人名；(匈)希夫特
- skint adj. 身无分文的；穷光蛋的
- engross vt. 使全神贯注；用大字体书写；正式写成（决议等）；独占；吸引
